|
Your search returned 7 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1991 Volume number : 17 Issue: 03 |
An Insider'S Evaluation Of Paisley
(Article)
Subject:
Executable Spections
,
Language Comarisons
,
Methodology
,
Validation
Author:
Pamela
Zave
page:
212
-
225
The Requirements Apprentice Automated Assistance For Requisition
(Article)
Subject:
Knowledge Acquisition
,
Requirements
,
Reuse
,
Acquisition
Author:
Howard B.
Reubenstein
Richards C
Waters
page:
226
-
240
Software Requirements Analysis For Real-Time Process -Control Systems
(Article)
Subject:
Behavior Modeling
,
Completeness
,
Process Control
,
Software Requirements
Author:
Mathew S.
Jaffe
Bonnie E.
Melhart
Mats P. E.
Heimdahl
page:
241
-
258
Modeling And Verification Of Time Dependent Systems Using Time Petri Nets
(Article)
Subject:
Modeling
,
Parallel And Distributed Systems
,
Specification
,
Verification
Author:
Bernard
Berthomieu
Michel
Diaz
page:
259
-
273
Blue-Based Design Methodlogy For Solving Control Problems
(Article)
Subject:
Control Problem
,
Rule-Based Control
,
Synchronization
Author:
Farhad S.
Etessami
Gurdeep S.
Hura
page:
274
-
282
Models Of Software Development Environments
(Article)
Subject:
Cooperation
,
Coordination
,
Software Development Environments
Author:
Dewayne E.
Perry
Gail E.
Kaiser
page:
283
-
295
Efficient Alforithms For The Instantiated Transitive Closure Queries
(Article)
Subject:
Algorithms
,
Performance Evaluation
,
Transitive Closure
Author:
Ghassan Z.
Qadah
Lawrence J.
Henschen
Jung Pill
Kim
page:
296
-
309
|
|
| | |